/*
 * NavCAction.h
 *
 *  Created on: May 27, 2012
 *      Author: kobe
 */

#ifndef NAVCACTION_H_
#define NAVCACTION_H_

#include "AtomicAction.h"
#include <vector>

class ActionPair {
public:
	AtomicAction* orig;
	AtomicAction* complement;
};

class NavCAction {
public:
	NavCAction();
	void add(AtomicAction*, AtomicAction*);
	AtomicAction* findOriginal(AtomicAction*);
	AtomicAction* findComplement(AtomicAction*);
private:
	std::vector<ActionPair*> mList;
};



#endif /* NAVCACTION_H_ */
